|
8–12 сентября на конференции FM 2003 в Пизе (Италия) будут демонстрироваться инструменты UniTESK. |
|
|
Сэр Тони Хоар посетил группу разработчиков UniTESK |
Профессор Сэр Тони Хоар посетил группу разработчиков UniTESK и ознакомился с опытом группы по верификации ПО.
(см. фотографии)
|
|
|
Юрий Гуревич (Microsoft Research) встретился с разработчиками UniTESK |
На встрече сравнивались инструменты тестирования, предлагаемые UniTESK, с инструментами на базе абстрактных автоматов (Abstract State Machines), разработанных группой Ю. Гуревича. Особое внимание было уделено вопросам спецификаци и тестирования распределенных систем.
|
|
|
Российское Microsoft-сообщество познакомится с инструментами UniTESK |
|
16 июня на конференции «Технологии Microsoft в научных исследованиях и высшем образовании» состоится доклад А. Демакова «Применение технологии UniTesK для разработки тестов .NET-компонентов», в котором будет сделан обзор технологии UniTESK для разработки тестов .NET-компонентов с использованием формальных спецификаций. |
|
|
UniTESK представлен IT-Обществу Индии |
|
На лекции «Использование методов тестирования, основанных на формальных спецификациях, в процессе разработки программного обеспечения», проведенной в городе Ченай для местного отделения IT-Общества Индии, была представлена технология UniTESK и поддерживающие ее инструменты. Члены Общества высоко оценили технологию UniTESK и выразили заинтересованность в адаптации этого подхода к своим задачам. |
|
|
|
<< [Первая] < [Предыдущая] 1 2 3 4 5 6 7 8 9 [Следующая] > [Последняя] >>
|
| Результаты 73 - 81 из 81 |
